Fix VMX domains not cleaning up properly, since some page refncts are
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 19 Sep 2005 09:14:41 +0000 (09:14 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 19 Sep 2005 09:14:41 +0000 (09:14 +0000)
commitd847ecf9711c4b6ada02aa78893203c18ed49450
tree56ee386ee1060df598e8ee8e64d3ce5f8863ca90
parentd7f655cb2a4bcbdb4da3408a07a9a6d278a97bcd
Fix VMX domains not cleaning up properly, since some page refncts are
not zero. One reason for this is that in function shadow_set_l1e(),
before calling function shadow_update_min_max(), one should call
__shadow_get_sl2e() again, since the sl2 entry may be changed.

Signed-off-by: Xin Xiaohui <Xiaohui.xin@intel.com>
Signed-off-by: Li Chengyuan <Chengyuan.li@intel.com>
xen/arch/x86/shadow.c
xen/include/asm-x86/shadow.h